Superpotentials and higher order derivations

Local higher derivations on C*-algebras are higher derivations

Let $mathfrak{A}$ be a Banach algebra. We say that a sequence ${D_n}_{n=0}^infty$ of continuous operators form $mathfrak{A}$ into $mathfrak{A}$ is a textit{local higher derivation} if to each $ainmathfrak{A}$ there corresponds a continuous higher derivation ${d_{a,n}}_{n=0}^infty$ such that $D_n(a)=d_{a,n}(a)$ for each non-negative integer $n$. We show that if $mathfrak{A}$ is a $C^*$-algebra t...

Double Derivations, Higher Double Derivations and Automatic Continuity

Let  be a Banach algebra. Let  be linear mappings on . First we demonstrate a theorem concerning the continuity of double derivations; especially that all of -double derivations are continuous on semi-simple Banach algebras, in certain case. Afterwards we define a new vocabulary called “-higher double derivation” and present a relation between this subject and derivations and finally give some ...

Partial Evaluation of Higher-Order Natural-Semantics Derivations

We use on-line partial-evaluation technology to generate partial derivations from natural (big-step) semantics deenitions. First, we reformat the big-step rules into a small-step form, and we extend big-step semantics to be higher-order, that is, we allow data structures like closures to contain partial derivations. Next, we apply a supercompilation algorithm to the transformed semantics, there...

Prime Higher Derivations on Algebras

Higher Derivations and Field Extensions

Let K be a field having prime characteristic p. The following conditions on a subfield k of K are equivalent: (i) || K" (k) = k and K/k is separable, (ii) k is the field of constants of an infinite higher derivation defined in K. (iii) k is the field of constants of a set of infinite higher derivations defined in K. If K/k is separably generated and k is algebraically closed in K, then k is the...